First-order dynamic logic
[計] 一階動態邏輯
?? 詞語組成解析
n. 第一,最初;頭等;一號,;[樂]高音部;
adv. 最早,最初;首次;寧愿;優先;
adj. 第一流的;最初的,最早的;基本的,概要的;高音的;
num. 第一;
n. 命令;秩序;規則,制度;次序;
vt. 命令;訂購;整理;
vi. 下訂單;
adj. 動態的;動力的,動力學的;充滿活力的,精力充沛的;不斷變化的,充滿變數的;
n. 動態;動力,推動變化的力量;動力學;活力;
dynam =power,表示“力量” + ic ...的 → 有活力的;動力的
n. 邏輯,邏輯學;(做某事的)道理;推理方法;威力,壓力,強制(力);
adj. 邏輯的;
??? 情景例句
But, Daddy, I thought ...
但是, 爸爸 ,我想……
A bad thing never dies.
壞事傳千年。
Fish and chips has always been a favourite dish in Britain,
油煎魚加炸土豆片一直是英國人喜愛的一道菜,
更多情景英語 ›